Nuprl Definition : Msg_sub 11,40

Msg_sub(lM) == {m:Msg(M)| haslink(lm)}  
latex


Definitionshaslink(lm), Msg(M)
FDL editor aliasesMsg_sub

origin